@import url(syntax.css);

body {
    font-size: 50px;
    font-family: Times, serif;
    margin: 0;
    background-color: #f0f0b0;
    }

#info {
    font-family: Georgia, serif;
    font-weight: bold;
    color: #fafafa;
    background-color: #333;
    margin: 100px 80px 80px 80px;
    padding: 20px 10px 40px 10px;
    -moz-border-radius: 40px;
    -webkit-border-radius: 40px;
    }

#title { 
    font-size: 1.7em; 
    padding-bottom: 40px;
    margin-bottom: 40px; 
    border-bottom: 2px dashed #fafafa;
    }

#title, #author, #venue, #location, #date { text-align: center; }

#header {
    color: #fafafa;
    background-color: #883333;
    font-family: Verdana, sans-serif;
    font-size: 1.2em;
    text-align: center;
    font-weight: bold;
    padding: 10px 50px 20px 50px;
    margin: 0;
}

#content {
    padding: 20px 40px 0 40px;    
}

a { color: #883333; }

.highlight {
    font-size: 0.6em;
    font-weight: bold;
    padding: 0 20px 0 20px;
    border: 1px solid #ccc;
    background-color: #f2f2f2;
    margin-top: 15px;
    -moz-border-radius: 10px;
    -webkit-border-radius: 10px;
    }
    